exception MyExn

let (_ : exn & (MyExn) | _) = exn ()